Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science)
by Deepak D'Souza,Akash Lal,Kim Guldstrand Larsen
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science)
by Deepak D'Souza,Akash Lal,Kim Guldstrand Larsen
ISBN 13: 9783662460801
Format: Paperback
(488 pages)
Publisher: Springer
Published: 28 Jan 2015
Save for later
New : $64.40
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
